|
|
Patform-Neutral Representation of Simualtion Models Based on XML
Durman, David ; Smrčka, Aleš (referee) ; Janoušek, Vladimír (advisor)
The variety of platforms for describing models of discrete event systems brings about the problem of how these models should be represented in order to be easily shared across platforms (shared for the purposes of model validation, effective execution, model reusing, or model integration). This study develops and implements the language DEVSML for the representation of the DEVS models. For the description of these models components, I use state diagrams, which are represented by SCXML. Actions and guards of the state diagrams are described using the language Scheme. This study also presents a visual tool for creation of the state diagrams, which is incorporated in the SmallDEVS system. For the Adevs environment, a transformer of the models described by DEVSML is implemented.
|
|
|
DEVS Simulator Implementation in C++20
Šurina, Timotej ; Janoušek, Vladimír (referee) ; Peringer, Petr (advisor)
This master's thesis deals with the issue of modeling and simulation of systems based on the DEVS formalism. The result of this work is a library that is inspired by the adevs tool and based on the classical DEVS formalism. The library is implemented in the programming language C++20 and is supplemented by predefined models of components for creation of queueing systems. The library also contains a set of examples for use in teaching. In comparison with the paralel adevs tool it is less effective but it has simpler interface with focus on clarity, which is more important for teaching. The library also simplifies definition of models with the use of modules, intelligent pointers for memory management and the use of mentioned components.
|
|
|
Graphical Editor of Simulation Models
Bulka, Pavol ; Janoušek, Vladimír (referee) ; Peringer, Petr (advisor)
This thesis deals with development of a graphical editor of simulation models. Design of the editor is based on a research which was carried out among professional simulation systems with graphical user interface. The new graphical editor is based on DEVS formalism since it is quite hard to implement a reliable simulation tool. This formalism was verified in great number of its implementation. One of them is Adevs library which is used in editor. Plugins can be used to provide additional features (i.e. another simulator) without need for changing the code of the editor. Another way to extend editor functionality are user scripts. The thesis presents the software development process of the editor in detail. Furthermore, a brief summary of DEVS formalism along with some DEVS modifications and extensions is included. In the end, a set of tests which were used for editor testing on multiple platforms is added.
|
|
|
DEVS Simulator Implementation in C++20
Šurina, Timotej ; Janoušek, Vladimír (referee) ; Peringer, Petr (advisor)
This master's thesis deals with the issue of modeling and simulation of systems based on the DEVS formalism. The result of this work is a library that is inspired by the adevs tool and based on the classical DEVS formalism. The library is implemented in the programming language C++20 and is supplemented by predefined models of components for creation of queueing systems. The library also contains a set of examples for use in teaching. In comparison with the paralel adevs tool it is less effective but it has simpler interface with focus on clarity, which is more important for teaching. The library also simplifies definition of models with the use of modules, intelligent pointers for memory management and the use of mentioned components.
|
|
|
Graphical Editor of Simulation Models
Bulka, Pavol ; Janoušek, Vladimír (referee) ; Peringer, Petr (advisor)
This thesis deals with development of a graphical editor of simulation models. Design of the editor is based on a research which was carried out among professional simulation systems with graphical user interface. The new graphical editor is based on DEVS formalism since it is quite hard to implement a reliable simulation tool. This formalism was verified in great number of its implementation. One of them is Adevs library which is used in editor. Plugins can be used to provide additional features (i.e. another simulator) without need for changing the code of the editor. Another way to extend editor functionality are user scripts. The thesis presents the software development process of the editor in detail. Furthermore, a brief summary of DEVS formalism along with some DEVS modifications and extensions is included. In the end, a set of tests which were used for editor testing on multiple platforms is added.
|
|
|
Patform-Neutral Representation of Simualtion Models Based on XML
Durman, David ; Smrčka, Aleš (referee) ; Janoušek, Vladimír (advisor)
The variety of platforms for describing models of discrete event systems brings about the problem of how these models should be represented in order to be easily shared across platforms (shared for the purposes of model validation, effective execution, model reusing, or model integration). This study develops and implements the language DEVSML for the representation of the DEVS models. For the description of these models components, I use state diagrams, which are represented by SCXML. Actions and guards of the state diagrams are described using the language Scheme. This study also presents a visual tool for creation of the state diagrams, which is incorporated in the SmallDEVS system. For the Adevs environment, a transformer of the models described by DEVSML is implemented.
|
guest ::
